Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
761	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-01-02 17:36:39 Automated theorem proving Logic programming Unification Sheaf Admissible rule Lambda calculus Natural deduction Envelope Mathematical logic Mathematics Logic
762	PDF Document Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2006-08-24 20:08:31 Proof theory Automated theorem proving Logic in computer science Propositional calculus Computational complexity theory Natural deduction Sequent calculus Propositional proof system Proof complexity Logic Mathematical logic Mathematics
763	PDF Document Add to Reading List Source URL: www2.parc.com Language: English - Date: 2003-04-29 20:41:47 Automated theorem proving Boolean algebra Logic in computer science Rules of inference Implicant Horn clause Unit propagation Resolution Logic programming Logic Mathematical logic Mathematics
764	PDF Document Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2007-08-15 06:16:56 Model theory Philosophical logic Automated theorem proving Logic programming Logical truth Substitution Constructible universe Structure Function Logic Mathematical logic Mathematics
765	PDF Document Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2006-08-26 05:21:04 Mathematics Metalogic Logic in computer science Electronic design automation NP-complete problems Automated theorem proving Satisfiability Modulo Theories John Rushby Model checking Theoretical computer science Formal methods Logic
766	PDF Document Add to Reading List Source URL: epgy.stanford.edu Language: English - Date: 2002-07-21 00:10:46 Logical syntax Stanford University Philosophical logic Mathematical logic Education Program for Gifted Youth Mathematical proof Theorem Formal proof Calculus Logic Mathematics Automated theorem proving
767	PDF Document Add to Reading List Source URL: espace.library.uq.edu.au Modal logic Deontic logic Normal modal logic Method of analytic tableaux Sequent calculus Model theory Mathematical logic Logic Automated theorem proving
768	Untitled Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-11-14 09:04:11 Propositional calculus Logical syntax Semantics Resolution Inference Horn clause Unit propagation DPLL algorithm Interpretation Logic Automated theorem proving Mathematical logic